Fault Detection in Multi-Threaded C++ Server Applications
نویسندگان
چکیده
منابع مشابه
Offline taint prediction for multi-threaded applications
Dynamic analysis of multi-threaded applications running on parallel architectures is notoriously a challenging issue. In this work we consider taint analysis as a typical information flow property. The approach we propose extends properties collected at runtime on a single parallel execution σ∥ to a set of execution sequences corresponding to plausible serializations of σ∥. Taint values are inf...
متن کاملGlobal Invariants for Analyzing Multi-threaded Applications
We exhibit an interprocedural framework for the analysis of multi-threaded programs based on partial invariants of a new kind of constraint systems which we call side-effecting. We explore the formal properties of these constraint systems and provide general techniques for computing partial invariants. We demonstrate the practicality of this approach by designing and implementing a reasonably e...
متن کاملReplay Debugger For Multi Threaded Android Applications
i ABSTRACT Debugging is a hard task. Debugging multi-threaded applications with their inherit non-determinism is all the more difficult. Non-determinism of any kind adds to the difficulty of cyclic debugging. In Android applications which are written in Java, threads and concurrency constructs introduce non-determinism to the program execution. Even with the same input, consecutive runs may not...
متن کاملFrameworks for analyzing multi-threaded C
ion, in this case, means that we are looking for a mapping X so that for all v, S[v]⊆X[v]. This means that we allow to weaken the statement about program points. To compute such an over-approximation of (concrete) semantics, we start with picking a complete lattice (D,v) so that each element d ∈D is a finite representation of a possibly infinite set of states. This step is necessary as we obvio...
متن کاملVerifying Multi-threaded C Programs with SPIN
A key challenge in model checking software is the difficulty of verifying properties of implementation code, as opposed to checking an abstract algorithmic description. We describe a tool for verifying multithreaded C programs that uses the SPIN model checker. Our tool works by compiling a multi-threaded C program into a typed bytecode format, and then using a virtual machine that interprets th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2007
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2007.04.004